A Combinatorial Approach to Knot Recognition
نویسندگان
چکیده
This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. The computational complexity of the problem, both in theory and in our implementation, is discussed. In the last part, we explain how coloring can be utilized in knot recognition.
منابع مشابه
Two combinatorial operations and a knot theoretical approach for fullerene polyhedra
In this paper, we introduce two combinatorial operations and a knot-theoretical approach for generation and description of fullerene architectures. The ‘Spherical rotating–vertex bifurcation’ operation applied to original fullerene polyhedra can lead to leapfrog fullerenes. However, the ‘Spherical stretching–vertex bifurcation’ operation applied to fullerene generates a family of related polyhe...
متن کاملCombinatorial Maps with Normalized Knot
We consider combinatorial maps with fixed combinatorial knot numbered with augmenting numeration called normalized knot. We show that knot’s normalization doesn’t affect combinatorial map what concerns its generality. Knot’s normalization leads to more concise numeration of corners in maps, e.g., odd or even corners allow easy to follow distinguished cycles in map caused by the fixation of the ...
متن کاملCombinatorial map as multiplication of combinatorial knots
We show that geometrical map can be expressed as multiplication of combinatorial maps, i.e. map P is equal to multiplication of its knot, inner knot’s square and trivial knot (= μ · ν · π1).
متن کاملThe Combinatorial Revolution in Knot Theory
K not theory is usually understood to be the study of embeddings of topological spaces in other topological spaces. Classical knot theory, in particular, is concerned with the ways in which a circle or a disjoint union of circles can be embedded in R. Knots are usually described via knot diagrams, projections of the knot onto a plane with breaks at crossing points to indicate which strand passe...
متن کاملLegendrian knots, transverse knotsand combinatorial Floer homology
Manolescu, Ozsváth and Sarkar gave [9] an explicit description of knot Floer homology for a knot in the three-sphere as the homology groups of a chain complex CK which is described in terms of the combinatorics of a grid diagram for a knot. In fact, the constructions of [9] are done with coefficients in Z=2Z; a lift of these constructions to coefficients in Z is given by Manolescu and the autho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015